More from this Author
Found 6 books by Dimitra Giannakopoulou (Editor)
Software Engineering and Formal Methods
by Dimitra Giannakopoulou (Editor), Gwen Salaün (Editor)
Verified Software: Theories, Tools and Experiments
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
Software Engineering and Formal Methods
by Dimitra Giannakopoulou (Editor), Gwen Salaun (Editor)
Fundamental Approaches to Software Engineering
by Dimitra Giannakopoulou (Editor), Fernando Orejas (Editor)
Verified Software: Theories, Tools and Experiments
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
Software Engineering and Formal Methods
by Dimitra Giannakopoulou (Editor), Gwen Salaün (Editor), Gwen Salaün (Editor)